[IA64] boot windows server 2003: rfi to bank0

Windows may rfi to bank0

Signed-off-by: Anthony Xu <anthony.xu@intel.com>

diff --git a/xen/arch/ia64/vmx/vmx_vcpu.c b/xen/arch/ia64/vmx/vmx_vcpu.c
index ac11c6e75d9823d080c0541e1618d1fb34c14dde..15e0053b4dd5afb32a4cb7d56af9fe73b9cf4b8d 100644 (file)
--- a/xen/arch/ia64/vmx/vmx_vcpu.c
+++ b/xen/arch/ia64/vmx/vmx_vcpu.c
@@ -272,7 +272,10 @@ IA64FAULT vmx_vcpu_rfi(VCPU *vcpu)
     UINT64 ifs, psr;
     REGS *regs = vcpu_regs(vcpu);
     psr = VCPU(vcpu,ipsr);
-    vcpu_bsw1(vcpu);
+    if (psr & IA64_PSR_BN)
+        vcpu_bsw1(vcpu);
+    else
+        vcpu_bsw0(vcpu);
     vmx_vcpu_set_psr(vcpu,psr);
     ifs=VCPU(vcpu,ifs);
     if(ifs>>63)